P.Blackburn, M. de Rijke, Y.Venema; "Modal Logic"
https://assets.cambridge.org/97805218/02000/cover/9780521802000.gif
Patrick Blackburn
，
Maarten de Rijke
，
Yde Venema
https://www.cambridge.org/core/books/modal-logic/F7CDB0A265026BF05EAD1091A47FCF5B
#様相論理